turing degree中文是什么意思

发音:

中文翻译
造句

[网络] 不可解度；图灵度

turing 递归函数; 图林; 图灵机
alan turing 艾伦・麦席森・图灵; 艾伦・图林; 逻辑的奠基者; 图灵
turing award 杜林奖; 两位图灵奖; 图灵奖
turing completeness 图灵等价; 图灵完全
turing computability 图灵机可计算性
turing computable 图灵机可计算的
turing control 图灵控制器
turing machine 杜林机 [图灵机; 确定型图灵机; 图灵计算机; 图录机
turing number 系统给出的校验码
turing point 反观点
turing radius 转弯半径
turing reducible 图灵归约
turing test 杜林测试 [图灵试验; 图林测试; 图灵测试; 图灵检定; 图灵试验
turing unit 整形修整装置
turing-complete 完成的
degree n. 1.程度；等级。 2.阶层，地位。 3.学位，学术。 4.度，度数。 5.【数学】次；幂。 6.【音乐】阶，度，音程。 7.【语法】(形容词和副词的)级。 8.【法律】亲等。 He was tired to such a degree that he fainted. 他疲乏得昏了过去。 people of every degree 各阶层的人们。 a man of high degree 地位高的人们。 give [take] a degree 授与[取得]学位。 the prohibited degrees (of marriage) 禁止结婚的亲等〔一、二、三等亲〕。 third degree 〔美国〕(警察的)严厉的拷问。 by degrees 渐次，渐渐，逐渐。 by slow degrees 慢慢，一点儿一点儿地。 degree of frost 零下(10 degrees of frost 零下10度)。 in a degree 有一点儿。 in its degree 各有(所长等)(Each is useful in its degree. 各有不同程度的用处)。 in some degree 多少。 to a certain degree 相当。 to a degree 非常；〔美国〕有点。 to the last degree 极端，再…没有了。
degree of 真实度
in … degree 在……速度上
to a degree 非常, 有点; 在某种程度上
to …degree 到……的程度; 在……程度上
to…degree 达到…程度
alleged turing machine 判定图灵机
basic turing machine 基本图灵机
bounded reversal turing machine 有界反转图灵机
bounded-reversal turing machine 有界反向图灵机

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

The thesis consists of four sections . in section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic-the algebraic structure of the plus cupping turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a, b such that a, b ? pc, and the join a v b of a and b is high
本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题?加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，bpc，而且a和b的并ab是一个高度。
The thesis consists of four sections . in section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic-the algebraic structure of the plus cupping turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping turing degrees that there exist two computably enumerable degrees a, b such that a, b ? pc, and the join a v b of a and b is high
本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题?加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，bpc，而且a和b的并ab是一个高度。